J.-M. Kuczynski PhD

A clear, rigorous and thorough exposition of: *The Propositional Calculus*The Predicate Calculus *Se

To make an inference is to form a new belief on the basis of an old one. Here is an example. My frie

A dictionary of terms specific to analytic philosophy. Clear definitions, with explanations of the c

A one to one function establishes a one to one correspondence between two sets. Other expressions fo